Kay Boyle, Fuir avant demain. Traduit par Anne Reynes-Delobel

Sublattices of certain Coxeter lattices par Anne - Marie BERGÉ

In this paper, we describe the sublattices of some lattices, extending previous results of [Ber]. Our description makes intensive use of graphs.

Phil Kay

........................................................................................................................

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Sublattices of certain Coxeter lattices par Anne - Marie BERGÉ et Jacques MARTINET

In this paper, we describe the sublattices of some lattices, extending previous results of [Ber]. Our description makes intensive use of graphs.